@charset "UTF-8";

a {
	text-decoration: none;
}

pre {
	font-size: 1.15em;
}

body {
	margin: 0.5em;
	padding: 0.5em;
	background: white;
	font-size: 85%;
	font-family: Arial, sans-serif;
}

h1, h2 {
	margin: 0;	
}
